Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
521	Representation-based Just-in-time Specialization and the Psyco prototype for Python Armin Rigo Abstract. Add to Reading List Source URL: psyco.sourceforge.net Language: English - Date: 2010-07-16 05:28:24 Cross-platform software Type theory Data types Procedural programming languages C++ Eval Function C Variable Software engineering Computing Computer programming
522	Guide to Type An Abstract Add to Reading List Source URL: www.tiger.latrobe.edu.au Language: English - Date: 2012-01-19 23:15:49 Plasma physics Atmosphere Ionosphere Doppler effect Magnetometer Plasma Resonance Sound Coronal seismology Physics Space plasmas Waves
523	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: www.isoc.org Language: English - Date: 2011-05-09 09:06:43 Computing Programming language theory Decompiler Type system Type inference Pointer Subtype polymorphism Assembly language MOV Software engineering Type theory Data types
524	Towards integration of XML in the Creol object-oriented language Arild Torjusen, Olaf Owe, Gerardo Schneider Department of Informatics, University of Oslo - Oslo, Norway {aribraat,olaf,gerardo}@ifi.uio.no Abstract Add to Reading List Source URL: www.nik.no Language: English - Date: 2007-10-11 05:16:14 World Wide Web Consortium XPath Document Type Definition SXML Computing Web standards XML
525	A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (Doctoral Dissertation Proposal) Andrew Gacek Decemeber 3, 2007 Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:03 Type theory Higher-order abstract syntax Prolog Twelf De Bruijn index Eval Type system Free variables and bound variables Lambda calculus Software engineering Computing Programming language theory
526	This is the title of an example SEG abstract using Microsoft Word 11-point bold type Add to Reading List Source URL: www.geotomo.com Language: English - Date: 2014-03-07 12:54:15 Geophysics Petroleum Geophysical imaging Low-velocity zone Tectonics Inverse problem Tomography Reflection seismology Seismic wave Geology Seismology Structure of the Earth
527	MURPHY’S LAW IN ALGEBRAIC GEOMETRY: BADLY-BEHAVED DEFORMATION SPACES RAVI VAKIL A BSTRACT. We consider the question: “How bad can the deformation space of an object be?” The answer seems to be: “Unless there is s Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2005-07-07 21:44:12 Moduli theory Scheme theory Invariant theory Algebraic surfaces Moduli space Resolution of singularities Enriques–Kodaira classification Surface of general type Moduli of algebraic curves Algebraic geometry Geometry Abstract algebra
528	Getting Started with Whiley David J. Pearce April 8, 2015 Abstract The aim of this document is to provide a short introduction to the Whiley programming language, in order to get you up and running quickly. However, it i Add to Reading List Source URL: whiley.org Language: English - Date: 2015-04-07 19:00:10 Data types C++ Type theory C programming language Object-oriented programming Struct Type conversion Reference Pointer Software engineering Computer programming Computing
529	A combinatorial problem motivated by a data transmission application Torleiv Kløve, Institutt for informatikk, Univ. of Bergen Abstract A permutation array of length n is a set of permutations of n elements such that an Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-03-09 04:39:31 Matrix Array programming Permutations Array data structure Costas array Mathematics Algebra Array data type
530	How to prepare your abstract for the Conference Abstract Title (Do not add authors to this document – abstracts will be blind reviewed and authors and affiliations will be entered during the abstract submission proces Add to Reading List Source URL: events.ccm.com.au Language: English - Date: 2015-03-05 23:45:56 Abstract Arial Typography Technical communication Type theory Abstract management Academia Knowledge

UPDATE